Inclusion–exclusion by ordering-free cancellation
نویسندگان
چکیده
منابع مشابه
On ordering free groups
The positive cones of the left orders on a free group can be described by their finite subsets. An algorithm is given for recognizing when a finite subset of a free group lies in a positive cone. This is used to show how one can construct a sequence of finite subsets of a positive cone whose union is the positive cone. Moreover, the method gives an overview of the positive cones of a free group...
متن کاملCancellation on Context-Free Languages: Enrichment by Reduction
The following problem is shown to be decidable: Given a context-free grammar G and a string w 2 X , does there exist a string u 2 L(G) such that w is obtained from u by deleting all substrings u i that are elements of the symmetric Dyck set D 1 ? The intersection of any two context-free languages can be obtained from only one context-free language by cancellation either with the smaller semi-Dy...
متن کاملCancellation in context-free languages: enrichment by reduction
Jantzen, M., H. Petersen, Cancellation in context-free languages: enrichment by reduction, Theoretical Computer Science 127 (1994) 1499170. The following problem is shown to be decidable: Given a context-free grammar G and a string weX*, does there exist a string ueL(G) such that w is obtained from u by deleting all substrings ui that are elements of the symmetric Dyck set DT? The intersection ...
متن کاملTerm-ordering free involutive bases
In this paper, we consider a monomial ideal J / P := A[x1, . . . , xn], over a commutative ring A, and we face the problem of the characterization for the familyMf (J) of all homogeneous ideals I / P such that the A-module P/I is free with basis given by the set of terms in the Gröbner escalier N(J) of J. This family is in general wider than that of the ideals having J as initial ideal w.r.t. a...
متن کاملCancellation Conjecture for Free Associative Algebras
We develop a new method to deal with the Cancellation Conjecture of Zariski in different environments. We prove the conjecture for free associative algebras of rank two. We also produce a new proof of the conjecture for polynomial algebras of rank two over fields of zero characteristic.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Combinatorial Theory, Series A
سال: 2019
ISSN: 0097-3165
DOI: 10.1016/j.jcta.2018.09.013